1. Diagonalization and self-reference
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
1994
2. Diagonalization and self-reference
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
1994
3. Diagonalization and self-reference
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Recursion theory , Fixed point theory
رده :
QA
9
.
6
.
S67
1994
4. Diagonalization & self-reference
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
5. First-order logic
پدیدآورنده : Smullyan, Raymond M
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
S75
6. First-order logic
پدیدآورنده : Smullyan, Raymond M.
موضوع : ، First-order logic
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
7. Godel's incompleteness theorems
پدیدآورنده : / Raymond M. Smullyan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Godel's theorem
رده :
QA9
.
65
.
S69
1992
8. Godel's incompleteness theorems
پدیدآورنده : Raymond M. Smullyan
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع : Godel's theorem
9. Godel's incompleteness theorems
پدیدآورنده : / Raymond M. Smullyan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Godel's theorem
رده :
QA9
.
65
.
S69
1992
10. Godel's incompleteness theorems
پدیدآورنده : / Raymond M. Smullyan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Godel's theorem
رده :
QA9
.
65
.
S69
1992
11. Recursion theory for metamathematics
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
S68
1993
12. Satan, Cantor, and infinity
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: کتابخانه دانشکدگان فارابی دانشگاه تهران (قم)
موضوع :
رده :
QA
95
.
S5
1992
13. Satan, Cantor, and infinity, and other mind-boggling puzzles
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : ، Mathematical recreations,، Godel's theorem
رده :
QA
95
.
S6S2
14. Satan, Cantor, and infinity : and other mind-boggling puzzles
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Mathematical recreations,، Godel's theorem
رده :
QA
95
.
S5
1992
15. Theory of formal systems
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Recursive functions,، Mathematics
رده :
QA
1
.
A626
no
.
47
16. This book needs no title :
پدیدآورنده : by Raymond M. Smullyan
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Paradoxes,Philosophical recreations
رده :
PN6361
.
S6
17. To mock a mocking bird:and other logic puzzles including an
پدیدآورنده : SMULLYAN,RAYMOND M
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : PHILOSOPHICAL RECREATIONS , PUZZLES , LOGIC
رده :
GV
1507
.
P43
S36
1985
18. To mock a mocking bird and other logic puzzles : including an amazing adventure in combinatory logic
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : ، Philosophical recreations,، Logic puzzles
رده :
GV
1507
.
P43
S68
1990
19. What is the name of this book? :
پدیدآورنده : Raymond M. Smullyan
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic puzzles
رده :
GV1493
.
S63
2011
20. What is the name of this book? :
پدیدآورنده : Raymond M. Smullyan
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
